Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
251	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
252	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
253	A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:06:12 Abstract interpretation Mathematical logic Algorithm Partial evaluation Programming language Principles of Programming Languages Logic programming Logic Scientific modelling Science Software engineering Computing
254	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
255	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
256	Bias-Variance Tradeoffs in Program Analysis Rahul Sharma Aditya V. Nori Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-11-07 17:01:23 Computational learning theory Hypothesis testing Statistical tests Overfitting VC dimension Cross-validation Variance Abstract interpretation Probably approximately correct learning Statistics Machine learning Statistical inference
257	Quantifying Information Leaks using Reliability Analysis † ˘ areanu ˘ Quoc-Sang Phan∗ Pasquale Malacaria∗ Corina S. Pas Marcelo d’Amorim‡ Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Systems engineering Reliability engineering Algorithm Information flow Side channel attack Systems science Applied mathematics Abstract interpretation Symbolic execution Quicken Interchange Format
258	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:06:27 Logic Mathematical structures Abstract algebra Universal algebra Algebraic structures Structure Term algebra Denotational semantics Interpretation Mathematics Mathematical logic Model theory
259	Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-08-06 12:15:35 Formal sciences International Conference on Logic Programming Logic programming Association for Computing Machinery CiteSeer Federated Logic Conference International Symposium on Logic-based Program Synthesis and Transformation Logic Lecture Notes in Computer Science Computer science Science Computing
260	Two puzzles about requirements Rick Nouwen June 17, 2010 Abstract I discuss the semantics of statements of minimum and maximum requirement. I show that, on standard assumptions, such statements receive a non-sensical int Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:27 Modal logic Non-classical logic Possibility Linguistic modality Entailment Interpretation Possible world Maxima and minima Quantification Logic Philosophical logic Semantics

UPDATE